2005

Academic Journal

[1] Eun-Hye Choi, Takanori Kawamoto, and Hiroshi Watanabe, "画面遷移仕様のモデル検査", JSSST Computer Software, 22(3),  pp. 146-153, July 2005.

Domestic Conference

[1] Hitoshi Furusawa, Hiroshi Watanabe, Takanori Kawamoto, and Eun-Hye Choi, "形式的手法の便益性評価のためのデータ収集実験", 第二回システム検証の科学技術シンポジウム予稿集, pp. 196-204, October 2005.